<html><body>
If you are using the "Metal" look and feel (which is the default)
you can change the user interface control font in the
<b>Appearance</b> pane of the <b>Utilities</b>&gt;<b>Global Options</b>
dialog box.
</body></html>
